Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 6180 results
Sort by: relevance publication year

Chang completeness theorem

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_3 Actions

Łukasiewicz ∞-valued calculus

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_5 Actions

Introduction

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_1 Actions

Advanced topics

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_10 Actions

Ulam’s game

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_6 Actions

Further Readings

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_11 Actions

Basic notions

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_2 Actions

Lattice-theoretical properties

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_7 Actions

Free MV-algebras

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_4 Actions

Varieties of MV-algebras

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_9 Actions

Quantifiers in rr1any-valued logic

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0012 Actions

Many-Valued Similarity Reasoning. An Axiomatic Approach

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: KUKKURAINEN PAAVO | TURUNEN ESKO

https://doi.org/10.1080/10236620215302 Actions

MV-algebras and ℓ-groups

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_8 Actions

The classical logic

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0002 Actions

Logic algebras and matrices

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0004 Actions

Many valued paraconsistent logic

PROCEEDINGS ARTICLE published in Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

Authors: C.G. Morgan

https://doi.org/10.1109/ismvl.2001.924583 Actions

Automata over MV-algebras [many-valued logic]

PROCEEDINGS ARTICLE published in Proceedings. 34th International Symposium on Multiple-Valued Logic

Authors: B. Gerla

https://doi.org/10.1109/ismvl.2004.1319919 Actions

An algebraic method to decide the deduction problem in many-valued propositional calculus

PROCEEDINGS ARTICLE published in Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)

https://doi.org/10.1109/ismvl.1994.302191 Actions

Fuzzy sets and Zadeh logic

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0014 Actions

What is many-valued logic?

PROCEEDINGS ARTICLE published in Proceedings 1997 27th International Symposium on Multiple- Valued Logic

Authors: J.-Y. Beziau

https://doi.org/10.1109/ismvl.1997.601384 Actions
Feedback: support@crossref.org